package finalProject;
import org.jgrapht.graph.DefaultEdge;


public class TokensEdge extends DefaultEdge {
	
	public Token sourceVertex() {
		return (Token)this.getSource();
	}
	
	public Token targetVertex() {
		return (Token)this.getTarget();		
	}
	
	

}
